منابع مشابه
Asynchronous Rendez-vous in Distributed Logic Programming
In this paper the semantics of the communication mechanism of the distributed logic programming language DLP is studied. DLP combines logic programming with object oriented features and parallelism. For an abstract subset of DLP both an operational and denotational semantics is given. The language DLP supports active objects, method call by rendezvous and moreover (distributed) backtracking ove...
متن کاملResurrecting Ada's Rendez-Vous in Java
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare’s Monitors, being too low level for most applications. In this paper we propose a high level synchronization mechanism for Java, based on Ada’s Rendez-Vous, adapting the notation and semantics to Java. The result is a nice and read...
متن کاملTEs or not TEs? That is the evolutionary question
Transposable elements (TEs) have contributed a wide range of functional sequences to their host genomes. A recent paper in BMC Molecular Biology discusses the creation of new transcripts by transposable element insertion upstream of retrocopies and the involvement of such insertions in tissue-specific post-transcriptional regulation.
متن کاملSRON ' s TES Microcalorimeter
The 15-year development of the European interpretation of the Transition Edge Sensor (TES) microcalorimeter is described within this document. In essence, a TES microcalorimeter is a high-resolution cryogenic photon detector that converts temperature changes induced by incoming photons into changes in electrical resistance. Conceptually, the device consists of an absorber, a detector, heat sink...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin des Médecins Suisses
سال: 2019
ISSN: 1424-4012
DOI: 10.4414/bms.2019.18139